Folk theorems on the determinization and minimization of timed automataTRIPAKIS, Stavros.Information processing letters. 2006, Vol 99, Num 6, pp 222-226, issn 0020-0190, 5 p.Article

Implementation of timed automata : An issue of semantics or modeling?ALTISEN, Karine; TRIPAKIS, Stavros.Lecture notes in computer science. 2005, pp 273-288, issn 0302-9743, isbn 3-540-30946-2, 1Vol, 16 p.Conference Paper

State-identification problems for finite-state transducersKRICHEN, Moez; TRIPAKIS, Stavros.Lecture notes in computer science. 2006, pp 148-162, issn 0302-9743, isbn 978-3-540-49699-1, 1Vol, 15 p.Conference Paper

Building models of real-time systems from application softwareSIFAKIS, Joseph; TRIPAKIS, Stavros; YOVINE, Sergio et al.Proceedings of the IEEE. 2003, Vol 91, Num 1, pp 100-111, issn 0018-9219, 12 p.Article

Black-box conformance testing for real-time systemsKRICHEN, Moez; TRIPAKIS, Stavros.Lecture notes in computer science. 2004, pp 109-126, issn 0302-9743, isbn 3-540-21314-7, 18 p.Conference Paper

Fault diagnosis for timed automataTRIPAKIS, Stavros.Lecture notes in computer science. 2002, pp 205-221, issn 0302-9743, isbn 3-540-44165-4, 17 p.Conference Paper

A Theory of Synchronous Relational InterfacesTRIPAKIS, Stavros; LICKLY, Ben; HENZINGER, Thomas A et al.ACM transactions on programming languages and systems. 2011, Vol 33, Num 4, issn 0164-0925, 14:1-14:41Article

Modular Code Generation from Synchronous Block Diagrams : Modularity vs. Code SizeLUBLINERMAN, Roberto; SZEGEDY, Christian; TRIPAKIS, Stavros et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 78-89, issn 1523-2867, 12 p.Conference Paper

Interesting properties of the real-time conformance relation tiocoKRICHEN, Moez; TRIPAKIS, Stavros.Lecture notes in computer science. 2006, pp 317-331, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper

Translating discrete-time Simulink to LustreCASPI, Paul; CURIC, Adrian; MAIGNAN, Aude et al.Lecture notes in computer science. 2003, pp 84-99, issn 0302-9743, isbn 3-540-20223-4, 16 p.Conference Paper

Automatic generation of path conditions for concurrent timed systemsBENSALEM, Saddek; PELED, Doron; HONGYANG QU et al.Theoretical computer science. 2008, Vol 404, Num 3, pp 275-292, issn 0304-3975, 18 p.Conference Paper

Implémentabilité des automates temporisés = Implementability of timed automataALTISEN, Karine; MARKEY, Nicolas; REYNIER, Pierre-Alain et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 395-406, issn 1269-6935, 12 p.Conference Paper

Observation partielle des systèmes temporisés = Partial observation of timed systemsBOUYER, Patricia; CHEVALIER, Fabrice; KRICHEN, Moez et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 381-393, issn 1269-6935, 13 p.Conference Paper

A protocol for loosely Time-Triggered ArchitecturesBENVENISTE, Albert; CASPI, Paul; LE GUERNIC, Paul et al.Lecture notes in computer science. 2002, pp 252-265, issn 0302-9743, isbn 3-540-44307-X, 14 p.Conference Paper